Update to Microkit 2.1.0 #27

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

Ivan-Velickovic wants to merge 1 commit into main from microkit_2.1.0

Collaborator

Ivan-Velickovic commented Nov 26, 2025

I don't think anything has changed that affects the tutorial but:

check that all error messages/output we refer to in the website is the same
walk through the tutorial and make sure everything still works fine


          Update to Microkit 2.1.0

a081adb

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>

Ivan-Velickovic force-pushed the microkit_2.1.0 branch from c2a674e to a081adb Compare

November 26, 2025 03:37

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet